Divisibility rule